On the entropy and letter frequencies of ternary square-free words

We enumerate all ternary length-1 square-free words, which are words avoiding squares of words up to length 1, for 1<=24. We analyse the singular behaviour of the corresponding generating functions. This leads to new upper entropy bounds for ternary square-free words. We then consider ternary square-free words with fixed letter densities, thereby proving exponential growth for certain ensembles with various letter densities. We derive consequences for the free energy and entropy of ternary square-free words

Towards more Dependable Verification of Mixed-Signal Systems

The verification of complex mixed-signal systems is a challenge, especially considering the impact of parameter variations. Besides the established approaches like Monte-Carlo or Corner-Case simulation, a novel semi-symbolic approach emerged in recent years. In this approach, parameter variations and tolerances are maintained as symbolic ranges during numerical simulation runs by using affine arithmetic. Maintaining parameter variations and tolerances in a symbolic way significantly increases verification coverage. In the following we give a brief introduction and an overview of research on semi-symbolic simulation of both circuits and systems and discuss possible application for system level verification and optimization

Thermal and Mechanical Investigation of a Preload Release Mechanism for a Space Probe under Laboratory Conditions

Der Vorspannungsabbau-Mechanismus der Asteroidenlandeeinheit MASCOT soll auf seine Funktionalität untersucht werden. Dazu muss ein Teststand entwickelt werden. Zusätzlich soll der Mechanismus derart verändert werden, dass der Erfolg des Abbauvorganges während des Fluges überprüft werden kann

On mixed abstraction, languages and simulation approach to refinement with SystemC AMS

Executable specifications and simulations arecornerstone to system design flows. Complex mixed signalembedded systems can be specified with SystemC AMSwhich supports abstraction and extensible models of computation. The language contains semantics for moduleconnections and synchronization required in analog anddigital interaction. Through the synchronization layer, user defined models of computation, solvers and simulators can be unified in the SystemC AMS simulator for achieving low level abstraction and model refinement. These improvements assist in amplifying model aspects and their contribution to the overall system behavior. This work presents cosimulating refined models with timed data flow paradigm of SystemC AMS. The methodology uses Cbased interaction between simulators. An RTL model ofdata encryption standard is demonstrated as an example.The methodology is flexible and can be applied in earlydesign decision trade off, architecture experimentation and particularly for model refinement and critical behavior analysis

Zukunftsstudie Bankfachspezialisten 2030

Gedruckte Exemplare können bei den AutorInnen angefragt werden.Die Bankenbranche ist weltweit im Umbruch. Volatilere weltwirtschaftliche Rahmenbedingungen, Regulierungsanforderungen,technologische Entwicklungen, Margendruck und verändertes Kundenverhalten führen zu grundlegenden Veränderungen der Wettbewerbs- und Wertschöpfungsstrukturen. Über die Auswirkungen dieser Veränderungsprozesse gibt es keine einheitlichen Prognosen. Einigkeit besteht jedoch darin, dass die fortschreitende Digitalisierung und Automation auch in der Schweiz zu grundlegenden Änderungen führen wird. Die künftigen Veränderungen wirken sich auch auf die Tätigkeiten in der Bankenbranche aus und führen zu Anpassungen bei Kompetenzanforderungen und Laufbahnen